android - 将 dimens.xml 中的尺寸应用于使用 Html.fromHtml 格式化的文本